Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
771	World Socialist Web Site wsws.org The Imitation Game: “Am I a machine? Am I a war hero? Am I a criminal?” Add to Reading List Source URL: intsse.com Language: English Theoretical computer science Computability theory Models of computation Turing machine Theory of computation Andrew Hodges Turing Bletchley Park Enigma Alan Turing British people United Kingdom
772	Efficient submatch addressing for regular expressions Master’s Thesis Ville Laurikari Add to Reading List Source URL: laurikari.net Language: English - Date: 2010-10-05 00:06:57 Models of computation Computer science Applied mathematics Deterministic finite automaton Regular expression Finite-state machine Regular language Nondeterministic finite automaton String searching algorithm Automata theory Formal languages Theoretical computer science
773	Microsoft Word - qcif-report-jw-V3.doc Add to Reading List Source URL: www.accs.uq.edu.au Language: English - Date: 2013-12-01 22:19:34 Mathematical and theoretical biology Models of computation Systems biology Distributed computing Bioinformatics Computational model Nimrod Actor model Applied mathematics Science Computational biology
774	Data Structures in Coco/R Hanspeter Mössenböck Johannes Kepler University Linz Institute of System Software April 2005 This technical note describes the data structures in the C# and Java implementations Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2005-04-26 10:03:24 Formal languages Computer science Pattern matching Universal identifiers Nondeterministic finite automaton Deterministic automaton Terminal and nonterminal symbols Deterministic finite automaton International Article Number Automata theory Models of computation Theoretical computer science
775	Runtime Verification for LTL and TLTL ANDREAS BAUER NICTA and Australian National University MARTIN LEUCKER Technische Universit¨at M¨ unchen Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:35 Automata theory Logic in computer science Formal methods Models of computation Temporal logic Linear temporal logic Formal verification Runtime verification Model checking Theoretical computer science Logic Mathematical logic
776	In the need of a design. . . reverse engineering Erlang software Thomas Arts1 and Cecilia Holmqvist2 1 IT university in G¨ Add to Reading List Source URL: www.erlang.se Language: English - Date: 2004-10-11 05:57:33 Automata theory Digital electronics UML diagrams Diagrams Theoretical computer science Erlang Finite-state machine UML state machine State diagram Models of computation Software engineering Computing
777	Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages Chitta Baral Faculty of Computer Science and Engineering Arizona State University Tempe, AZ[removed] Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-06-04 22:29:53 Logic in computer science Lambda calculus Models of computation Representation theory of Lie groups Computability theory Combinatory logic Knowledge representation and reasoning Natural language processing Ordinal number Theoretical computer science Mathematical logic Mathematics
778	Self-Reproduction Lecture Notes. Marvin Minsky, Nov. 18, 2003 Add to Reading List Source URL: cba.mit.edu Language: English - Date: 2011-12-13 18:50:13 Computer virus Cultural anthropology Computability theory Models of computation Virus Cellular automaton Meme Brain John von Neumann Science Mathematics Cognition
779	UML Tutorial: Complex Transitions Robert C. Martin Engineering Notebook Column C++ Report, September 98 In my last column I talked about UML Finite State Machine diagrams. In this column we will be Add to Reading List Source URL: www.objectmentor.com Language: English - Date: 2012-12-22 21:29:00 Digital electronics Theoretical computer science Diagrams Computer science Software engineering UML state machine Toaster Finite-state machine State diagram Models of computation UML diagrams Automata theory
780	Monitoring of real-time properties Andreas Bauer, Martin Leucker, and Christian Schallhart Institut f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. This paper presents a construction for runtime monitors t Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:28 Formal methods Computer science Linear temporal logic Deterministic finite automaton Nondeterministic finite automaton Symbol Model theory Automata theory Models of computation Theoretical computer science

UPDATE